3.12.63 \(\int \frac {1}{(3-x)^{3/2} (-2+x)^{3/2}} \, dx\) [1163]

Optimal. Leaf size=37 \[ \frac {2}{\sqrt {3-x} \sqrt {-2+x}}-\frac {4 \sqrt {3-x}}{\sqrt {-2+x}} \]

[Out]

2/(3-x)^(1/2)/(-2+x)^(1/2)-4*(3-x)^(1/2)/(-2+x)^(1/2)

________________________________________________________________________________________

Rubi [A]
time = 0.00, antiderivative size = 37, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 17, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.118, Rules used = {47, 37} \begin {gather*} \frac {2}{\sqrt {3-x} \sqrt {x-2}}-\frac {4 \sqrt {3-x}}{\sqrt {x-2}} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[1/((3 - x)^(3/2)*(-2 + x)^(3/2)),x]

[Out]

2/(Sqrt[3 - x]*Sqrt[-2 + x]) - (4*Sqrt[3 - x])/Sqrt[-2 + x]

Rule 37

Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_), x_Symbol] :> Simp[(a + b*x)^(m + 1)*((c + d*x)^(n +
1)/((b*c - a*d)*(m + 1))), x] /; FreeQ[{a, b, c, d, m, n}, x] && NeQ[b*c - a*d, 0] && EqQ[m + n + 2, 0] && NeQ
[m, -1]

Rule 47

Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_), x_Symbol] :> Simp[(a + b*x)^(m + 1)*((c + d*x)^(n + 1
)/((b*c - a*d)*(m + 1))), x] - Dist[d*(Simplify[m + n + 2]/((b*c - a*d)*(m + 1))), Int[(a + b*x)^Simplify[m +
1]*(c + d*x)^n, x], x] /; FreeQ[{a, b, c, d, m, n}, x] && NeQ[b*c - a*d, 0] && ILtQ[Simplify[m + n + 2], 0] &&
NeQ[m, -1] &&  !(LtQ[m, -1] && LtQ[n, -1] && (EqQ[a, 0] || (NeQ[c, 0] && LtQ[m - n, 0] && IntegerQ[n]))) && (
SumSimplerQ[m, 1] ||  !SumSimplerQ[n, 1])

Rubi steps

\begin {align*} \int \frac {1}{(3-x)^{3/2} (-2+x)^{3/2}} \, dx &=\frac {2}{\sqrt {3-x} \sqrt {-2+x}}+2 \int \frac {1}{\sqrt {3-x} (-2+x)^{3/2}} \, dx\\ &=\frac {2}{\sqrt {3-x} \sqrt {-2+x}}-\frac {4 \sqrt {3-x}}{\sqrt {-2+x}}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.03, size = 21, normalized size = 0.57 \begin {gather*} \frac {2 (-5+2 x)}{\sqrt {-6+5 x-x^2}} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[1/((3 - x)^(3/2)*(-2 + x)^(3/2)),x]

[Out]

(2*(-5 + 2*x))/Sqrt[-6 + 5*x - x^2]

________________________________________________________________________________________

Mathics [C] Result contains higher order function than in optimal. Order 9 vs. order 2 in optimal.
time = 3.25, size = 78, normalized size = 2.11 \begin {gather*} \text {Piecewise}\left [\left \{\left \{\frac {I \left (10-4 x\right )}{\sqrt {-3+x} \sqrt {-2+x}},\text {Abs}\left [-2+x\right ]>1\right \}\right \},\frac {-4 \left (-2+x\right ) \sqrt {3-x}}{\left (-2+x\right )^{\frac {3}{2}}-\sqrt {-2+x}}+\frac {2 \sqrt {3-x}}{\left (-2+x\right )^{\frac {3}{2}}-\sqrt {-2+x}}\right ] \end {gather*}

Warning: Unable to verify antiderivative.

[In]

mathics('Integrate[1/((3 - x)^(3/2)*(-2 + x)^(3/2)),x]')

[Out]

Piecewise[{{I (10 - 4 x) / (Sqrt[-3 + x] Sqrt[-2 + x]), Abs[-2 + x] > 1}}, -4 (-2 + x) Sqrt[3 - x] / ((-2 + x)
^ (3 / 2) - Sqrt[-2 + x]) + 2 Sqrt[3 - x] / ((-2 + x) ^ (3 / 2) - Sqrt[-2 + x])]

________________________________________________________________________________________

Maple [A]
time = 0.16, size = 30, normalized size = 0.81

method	result	size
gosper	\(\frac {4 x -10}{\sqrt {3-x}\, \sqrt {-2+x}}\)	\(20\)
default	\(\frac {2}{\sqrt {3-x}\, \sqrt {-2+x}}-\frac {4 \sqrt {3-x}}{\sqrt {-2+x}}\)	\(30\)
risch	\(\frac {2 \sqrt {\left (-2+x \right ) \left (3-x \right )}\, \left (2 x -5\right )}{\sqrt {3-x}\, \sqrt {-2+x}\, \sqrt {-\left (-3+x \right ) \left (-2+x \right )}}\)	\(41\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(3-x)^(3/2)/(-2+x)^(3/2),x,method=_RETURNVERBOSE)

[Out]

2/(3-x)^(1/2)/(-2+x)^(1/2)-4*(3-x)^(1/2)/(-2+x)^(1/2)

________________________________________________________________________________________

Maxima [A]
time = 0.27, size = 30, normalized size = 0.81 \begin {gather*} \frac {4 \, x}{\sqrt {-x^{2} + 5 \, x - 6}} - \frac {10}{\sqrt {-x^{2} + 5 \, x - 6}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(3-x)^(3/2)/(-2+x)^(3/2),x, algorithm="maxima")

[Out]

4*x/sqrt(-x^2 + 5*x - 6) - 10/sqrt(-x^2 + 5*x - 6)

________________________________________________________________________________________

Fricas [A]
time = 0.30, size = 29, normalized size = 0.78 \begin {gather*} -\frac {2 \, {\left (2 \, x - 5\right )} \sqrt {x - 2} \sqrt {-x + 3}}{x^{2} - 5 \, x + 6} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(3-x)^(3/2)/(-2+x)^(3/2),x, algorithm="fricas")

[Out]

-2*(2*x - 5)*sqrt(x - 2)*sqrt(-x + 3)/(x^2 - 5*x + 6)

________________________________________________________________________________________

Sympy [A]
time = 1.28, size = 100, normalized size = 2.70 \begin {gather*} \begin {cases} - \frac {4 i \sqrt {x - 3} \left (x - 2\right )}{\left (x - 2\right )^{\frac {3}{2}} - \sqrt {x - 2}} + \frac {2 i \sqrt {x - 3}}{\left (x - 2\right )^{\frac {3}{2}} - \sqrt {x - 2}} & \text {for}\: \left |{x - 2}\right | > 1 \\- \frac {4 \sqrt {3 - x} \left (x - 2\right )}{\left (x - 2\right )^{\frac {3}{2}} - \sqrt {x - 2}} + \frac {2 \sqrt {3 - x}}{\left (x - 2\right )^{\frac {3}{2}} - \sqrt {x - 2}} & \text {otherwise} \end {cases} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(3-x)**(3/2)/(-2+x)**(3/2),x)

[Out]

Piecewise((-4*I*sqrt(x - 3)*(x - 2)/((x - 2)**(3/2) - sqrt(x - 2)) + 2*I*sqrt(x - 3)/((x - 2)**(3/2) - sqrt(x
- 2)), Abs(x - 2) > 1), (-4*sqrt(3 - x)*(x - 2)/((x - 2)**(3/2) - sqrt(x - 2)) + 2*sqrt(3 - x)/((x - 2)**(3/2)
- sqrt(x - 2)), True))

________________________________________________________________________________________

Giac [A]
time = 0.00, size = 71, normalized size = 1.92 \begin {gather*} 2 \left (\frac {\sqrt {-x+3}}{-2 \sqrt {x-2}+2}-\frac {-2 \sqrt {x-2}+2}{4 \sqrt {-x+3}}-\frac {\sqrt {-x+3} \sqrt {x-2}}{x-2}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(3-x)^(3/2)/(-2+x)^(3/2),x)

[Out]

(sqrt(x - 2) - 1)/sqrt(-x + 3) - 2*sqrt(-x + 3)/sqrt(x - 2) - sqrt(-x + 3)/(sqrt(x - 2) - 1)

________________________________________________________________________________________

Mupad [B]
time = 0.25, size = 32, normalized size = 0.86 \begin {gather*} -\frac {4\,x\,\sqrt {3-x}-10\,\sqrt {3-x}}{\sqrt {x-2}\,\left (x-3\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/((x - 2)^(3/2)*(3 - x)^(3/2)),x)

[Out]

-(4*x*(3 - x)^(1/2) - 10*(3 - x)^(1/2))/((x - 2)^(1/2)*(x - 3))

________________________________________________________________________________________